4.48/6.24	unsat
