6.36/8.23	unsat
