6.36/8.42	unsat
