7.83/10.60	unsat
