1.05/1.07	unsat
