2.21/6.24	unsat
