1.04/1.07	unsat
