202.26/203.44	unsat
