3.89/4.32	unsat
