17.96/19.78	unsat
