258.94/260.18	unsat
