14.67/14.71	unsat
