17.90/18.89	unsat
