143.83/146.66	unsat
