13.67/13.74	unsat
