4.89/5.40	unsat
