141.86/144.77	unsat
