10.67/12.95	unsat
