6.52/7.49	unsat
