5.48/8.24	unsat
