10.48/12.24	unsat
