202.66/205.14	unsat
