18.57/18.62	unsat
