10.67/13.29	unsat
