1.30/7.85	unsat
