143.95/145.06	unsat
