202.36/205.92	unsat
