17.96/18.78	unsat
