203.74/260.08	unsat
