5.48/7.24	unsat
