202.43/205.11	unsat
