19.53/19.60	unsat
