13.67/17.93	unsat
