1.02/1.07	unsat
