17.67/17.79	unsat
