142.99/146.15	unsat
