18.46/18.62	unsat
