5.81/7.24	unsat
