138.92/144.14	unsat
