6.48/8.61	unsat
