11.99/13.92	unsat
