6.47/8.44	unsat
