8.33/8.42	unsat
