11.98/14.47	unsat
