6.07/8.13	unsat
