2.03/4.32	unsat
