10.67/13.23	unsat
