1017.35/1018.29	unsat
