4.87/5.71	unsat
