1067.47/1068.36	unsat
