11.46/14.24	unsat
