1.03/1.07	unsat
