18.07/18.60	unsat
