1.07/3.03	unsat
