17.46/18.90	unsat
