5.08/8.22	unsat
