145.96/146.70	unsat
