12.67/12.71	unsat
