142.98/143.33	unsat
