6.87/7.37	unsat
