202.92/203.40	unsat
