8.36/8.42	unsat
