6.49/7.94	unsat
