13.67/17.08	unsat
