4.89/5.64	unsat
