11.67/14.72	unsat
