5.27/5.85	unsat
