6.22/8.34	unsat
