4.89/5.11	unsat
