7.76/8.22	unsat
