18.46/18.57	unsat
