18.55/18.62	unsat
