4.89/7.24	unsat
