11.76/14.34	unsat
