12.67/16.71	unsat
