17.55/17.60	unsat
