11.98/14.64	unsat
