11.99/14.24	unsat
