18.27/18.60	unsat
